Negation in Cognitive Reasoning

What About Negation in Spatial Reasoning?

How do we reason about spatial descriptions? In recent years a lot of research has been investigated in order to determine factors of complexity in spatial relational reasoning. Several factors like the number of models, the wording of conclusion or relational complexity have been determined. Any of these factors effected reasoning. But the literature focused solemnly on positive premises. Nega...

Reasoning about Frequent Patterns with Negation

Reasoning about Minimal Belief and Negation as

We investigate the problem of reasoning in the propositional fragment of MBNF, the logic of minimal belief and negation as failure introduced by Lifschitz, which can be considered as a unifying framework for several nonmonotonic formalisms, including default logic, autoepistemic logic, circumscription, epistemic queries, and logic programming. We characterize the complexity and provide algorith...

Reasoning with Constraints and Well-Founded Negation

Constraint reasoning and logic programming have been combined with great success. Constraint logic programming (CLP) [5] has gained a lot of interest, since it combines both fields in a theoretically sound manner while achieving efficiency by dedicated constraint solvers for practical applications. However in CLP, only Horn clauses are considered. But in many cases it is desirable also to have ...

Closed World Reasoning for OWL2 with Negation As Failure

The Description Logic (DL)-based ontologies impose the Open World Assumption (OWA), while many other knowledge formalisms, such as the Logic Program, relational database, etc. impose the ClosedWorld Assumption (CWA). In order to interoperate knowledge bases and systems with these different representations, as well as to support applications in certain domains with complete knowledge, it is nece...